My Area
Coq 学習
Lean 4を学ぶ
競技プログラミング
Homotopy Type Theory(HoTT)
圏論・群論・トポロジー学習ルートマップ
#Area